//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <ddk.h>

//
// Device Configurations
//
STATIC DECL_DATAINIT DeviceConfig s_deviceConfigs[0];

//
// Driver Configurations
//
STATIC DriverConfig s_driverConfigs[0];

DzConfig dzcfg = {
	s_deviceConfigs,                // *pDeviceConfigs
	lengthof(s_deviceConfigs),      // uNumberOfDeviceConfigs

	s_driverConfigs,                // *pDriverConfigs
	lengthof(s_driverConfigs)       // uNumberOfDriverConfigs
};

Address g_Dbgstub_ThreadEntry;
Address g_Dbgstub_DebugBreakThread;

Boolean TryToSendReceiveDebugMsg(
    /* [in] */ UInt32 reason,
    /* [in] */ UInt32 handle,
    /* [in] */ CProcess * targetProcess,
    /* [in] */ Thread * targetThread)
{
    return FALSE;
}

void WriteToConsole(const char *szMessage){
}

